Turing Meets Milner
نویسندگان
چکیده
We enhance the notion of a computation of the classical theory of computing with the notion of interaction from concurrency theory. In this way, we enhance a Turing machine as a model of computation to a Reactive Turing Machine that is an abstract model of a computer as it is used nowadays, always interacting with the user and the world.
منابع مشابه
When Turing Meets Milner
• A submitted manuscript is the author's version of the article upon submission and before peer-review. There can be important differences between the submitted version and the official published version of record. People interested in the research are advised to contact the author for the final version of the publication, or visit the DOI to the publisher's website. • The final author version ...
متن کاملIn Memoriam: Robin Milner and Amir Pnueli
IN the last six months, the computing community, including software engineering, lost two of its greats: Robin Milner and Amir Pnueli. Both were Turing Award winners, and both contributed in fundamental ways to the foundations of software engineering. I had the privilege of meeting Robin Milner only, and my overriding memory is of a modest, gentle, approachable man, as open to other’s ideas as ...
متن کاملTuring meets Schanuel
Article history: Received 7 January 2015 Received in revised form 20 June 2015 Accepted 10 July 2015 Available online 16 June 2016 MSC: 03C60 11U09 03D45
متن کاملOn a Relation Between Algebraic Programs and Turing Machines
i? recent years the need for a rigorous formaliza!ion’hbf the mathematical properties of computer programs has become increasingly evident. Problems in program proving, for exampie, require that a precise meanir!.: be given to otherwise intuitive notions. One such formalization has been suggested by Milner [6] and has been successfully used in areas such as program and machine verification (see...
متن کاملComputation in the Informatic Jungle Draft
Informatics bridges Turing-computation and interactive behaviour; examples of the latter include ubiquitous/pervasive and biological systems. But how does a model of computation fit within a model of less disciplined informatic behaviour? This paper offers a precise treatment of that relationship, identifying a class of calculational bigraphical reactive systems. We show how such a system conta...
متن کامل